Boolean algebra - PDFSEARCH.IO - Document Search Engine

Boolean algebra
Results: 1241

#	Item
731	Sectionally complemented chopped lattices Add to Reading List Source URL: ctan.ijs.si Language: English - Date: 2006-04-02 19:00:00 Lie groups Lattice theory Algebraic structures Ergodic theory Lattice Boolean algebra Congruence relation Congruence lattice problem Abstract algebra Mathematics Algebra
732	Package ‘nCal’ November 9, 2014 LazyLoad yes LazyData yes Version[removed]Date see version Add to Reading List Source URL: cran.r-project.org Language: English - Date: 2014-11-08 19:00:01 Dilution assay Computing Data management Computer programming Boolean algebra Boolean data type Null
733	Lists in TEX’s Mouth Alan Jeffrey August 6, 2013 1 Add to Reading List Source URL: mirrors.nic.cz Language: English - Date: 2013-08-06 12:14:00 Computability theory Boolean algebra Functions and mappings Lambda calculus Theoretical computer science Monad Boolean data type Function Conditional Mathematics Computing Mathematical logic
734	Using SAT-Solvers to Compute Inference-Proof Database Instances (Abstract Version) Cornelia Tadros and Lena Wiese Technische Universitat Dortmund, 44221 Dortmund, Germany {tadros,wiese}@ls6.cs.uni-dortmund.de Add to Reading List Source URL: wiese.free.fr Language: English - Date: 2009-06-22 13:18:06 Logic in computer science Boolean algebra Propositional calculus Operations research Combinatorial optimization Maximum satisfiability problem Interpretation Mathematical optimization Solver Mathematics Theoretical computer science Mathematical logic
735	Lists in TEX’s Mouth Alan Jeffrey August 6, 2013 1 Add to Reading List Source URL: ctan.mackichan.com Language: English - Date: 2013-08-06 13:14:53 Computability theory Boolean algebra Functions and mappings Lambda calculus Theoretical computer science Monad Boolean data type Function Conditional Mathematics Computing Mathematical logic
736	Lists in TEX’s Mouth Alan Jeffrey August 6, 2013 1 Add to Reading List Source URL: mirrors.fe.up.pt Language: English - Date: 2013-08-06 13:14:53 Computability theory Boolean algebra Functions and mappings Lambda calculus Theoretical computer science Monad Boolean data type Function Conditional Mathematics Computing Mathematical logic
737	Lists in TEX’s Mouth Alan Jeffrey August 6, 2013 1 Add to Reading List Source URL: mirror.ibcp.fr Language: English - Date: 2013-08-06 13:14:53 Computability theory Boolean algebra Functions and mappings Lambda calculus Theoretical computer science Monad Boolean data type Function Conditional Mathematics Computing Mathematical logic
738	Lists in TEX’s Mouth Alan Jeffrey August 6, 2013 1 Add to Reading List Source URL: ctan.math.utah.edu Language: English - Date: 2013-08-06 13:14:53 Computability theory Boolean algebra Functions and mappings Lambda calculus Theoretical computer science Monad Boolean data type Function Conditional Mathematics Computing Mathematical logic
739	Lists in TEX’s Mouth Alan Jeffrey August 6, 2013 1 Add to Reading List Source URL: mirror.klaus-uwe.me Language: English - Date: 2013-08-06 12:14:00 Computability theory Boolean algebra Functions and mappings Lambda calculus Theoretical computer science Monad Boolean data type Function Conditional Mathematics Computing Mathematical logic
740	Lists in TEX’s Mouth Alan Jeffrey August 6, 2013 1 Add to Reading List Source URL: ftp.jaist.ac.jp Language: English - Date: 2013-08-06 13:14:53 Computability theory Boolean algebra Functions and mappings Lambda calculus Theoretical computer science Monad Boolean data type Function Conditional Mathematics Computing Mathematical logic

UPDATE